/*
现定义两个仅由大写字母组成的字符串的匹配程度如下：
将某一字符串的首字符与另一字符串的某一字符对齐，
然后后面的字符也一一对齐，直至某一字符串的串尾为止。
对于每一组对齐的两个字符，若这两个字符相等，则计数。
匹配程度为每种对齐方法的计数的最大值。最后计算这个匹配程度的 2 倍，
与两串总长度的最大比值。

Input
多组数据，每组一行两个字符串，中间用一个空格隔开，以 -1 结束输入。

Output
对于每组数据，输出两个字符串的最大匹配数与两串总长度的比值，具体格式见输出样例

Sample Input
CAR CART
TURKEY CHICKEN
MONEY POVERTY
ROUGH PESKY
-1

Sample Output
appx（CAR，CART） = 6/7
appx（TURKEY，CHICKEN） = 4/13
appx（MONEY，POVERTY） = 1/3
appx（ROUGH，PESKY） = 0
*/
#include <bits/stdc++.h>
using namespace std;
int pp(string a, string b)
{
    int i, l, sum = 0;
    l = min(a.size(), b.size());
    for (i = 0; i < l; i++)
    {
        if (a[i] == b[i])
            sum++;
    }
    return sum;
}
int main()
{
    string a, b;
    int i, max, sum, len, gcd;
    while (cin >> a && a != "-1")
    {
        cin >> b;
        max = 0;
        for (i = 0; i < a.size();i++)
        {
            sum = pp(a.substr(i), b); //匹配 a[i]-末尾的字符串 与 b 全部
            if(max<sum)
            {
                max = sum;
            }
        }
        for (i = 0; i < b.size();i++)
        {
            sum = pp(b.substr(i), a);
            if(max<sum)
            {
                max = sum;
            }
        }
        max *= 2;
        len = a.size() + b.size();
        cout << "appx(" << a << "," << b << ") = ";
        if(max==len)
        {
            cout << 1 << endl;
        }
        else if(max==0)
        {
            cout << 0 << endl;
        }
        else
        {
            gcd = __gcd(max, len);
            max /= gcd;
            len /= gcd;
            cout << max << "/" << len << endl;
        }
    }

    return 0;
}